poset upper bound